MinGBoverZZ [PROTOTYPE] -- [PROTOTYPE] minimal Groebner basis of polys over ZZ |
Syntax |
MinGBoverZZ(L: LIST of RINGELEM): LIST |
Description |
Example |
/**/ use ZZ[x,y]; /**/ MinGBoverZZ([x^2+y^2+2, x^3-y^3, x*y-2*x-3]); [1460, 4*y +308, x +499*y +500, y^2 -6*x +4*y -3] |
See Also |